added commands to start and stop history server in ctl.py