* GMP library automatically installs if absent
* Fixed Travis support