Travis CI settings to install libpolarssl 1.3.9