use progress cuke formatter and stop sim in ci

On Jenkins, we should reduce the console spam and just use the cucumber progress formatter.

Also, we should quit the sim when we are done.