Preparing potential hotfix release

...if it solves the problems in question (EntryPointNotFoundException,
NullReferenceException), waiting to hear back from bug reporter. Also
added support for designating hotfixes in VersionManagement code & some
minor tweaks