Migrate ensime_gen.py, reporting_server.py to new options format.