Update to newer software selection
Switched to longterm kernel linux 3.12.16
Switched to latest gmp 6.0.0a
Merge branch 'master' of https://github.com/wermut/musl-cross