Added option to set separator of documents

Although I'm not sure if this is the right place to send this pull request I found it difficult to work with `<doc>`s.

This pull request implements a `--docseparator` option which allows you to set a different separator of documents.