Update repo pointer

[JanBobolz]

Currently, the two install_portable scripts point to a fork of mcl.
As soon as herumi/mcl#131 is merged, we should consider changing the reference to the mcl main repo.

See #33