This bugfix release implements a bugfix for the issues described in #31 and #32
Changes:
- Fixed a bug in MRSync causing it to be unable to synchronize ranks
- Fixed a bug in the database creation that caused the allservers group to not be created, when the user modified the server group beforehand