Add Corvette and configure for Travis CI