Additional information handling

Requires copying of some new settings from server.cfg.example to server.cfg

* Set redmine issue status on update
* Pull case numbers from commit messages as well as PR title and description
* List issues in PR description with issue titles from Redmine