travis: added "-V" to the ctest call