Updated Tavis CI configuration to run CTest with the verbose option for more useful logs.