[server] add a commandline option to call a script after the documents were saved

See https://gist.github.com/flyser/7719769 for an example script.