speedup CI, use ADMS from release tarball
travis has bison 2.5, need 2.6+
CI test installation

* set headless CI
* \todo test install in another prefix