fixe minor issues according to suggestions in #28
small fix to travis-test.sh: test short flag is now --short instead of -short