Fiddle with install instructions some more.
Add lein-midje to all the project files.
Note failure they'll see in Robozzle.