add .travis.yml
[.travis.yml] also install GNU MP library