custom library paths (integer-gmp)

[luite]

users might want to build integer-gmp with a custom library location, support should be added for a few options:

• build supplied integer-gmp (should be the default, at least on windows?)
• use system gmp
• use custom gmp (make sure the mkGmpDerivedConstants uses the same lib)

[luite]

fixed in booter