Added some Travis-CI tests