Fix robotframework version pin for Travis; Add test for transaction abort