Travis.ci configuration changes to use Check unit testing framework