flask server: improved.
added terminate() remote call to terminate xml-rpc server