Merge pull request #49 from justinsb/fix_travis

Fix the travis build: exclude jacoco, sunjdk6; don't deploy
Verify the previous state as part of every state transition