Patch notes for version 88

Fix for Battlements not always being beatable
Fix for multiplayer level switch loading
Fix not being able to join because of mismatched mods even though the mods were correct
Fix profiles menu crash when upgrading from an old-style savegame
Fix for Linux build