Reactivated compilation of travis-ci to run system tests.