rave: Move bootstrap code and bootstrappers to rave.bootstrap package.
rave: Document ExecutionEnvironment API.
rave: Add Game.__repr__.