Run ctest as part of Travis CI tests