Changelog for intricacy-0.5.7.2

This is an abbreviated summary; see the git log for gory details. 0.5.7.2: Fix ghc-7.10 compiler warnings. Minor fixes for curses mode. 0.5.7.1: Fix missing files in source dist. 0.5.7: Allow cancellation of server requests if the server doesn't respond. Minor UI tweaks. 0.5.6: Support OS X (thanks Kevin Eaves). Rework setting dimensions. 0.5.5: Save solutions-in-progress of locks and tutorial. Indicate when there's a pending request. Show alerts on redo in play mode. 0.5.4: Fixed some UI bugs involving mode transitions and buttons. Hover help on tools in tutorials. Actually support ghc-7.10. 0.5.3: Change direction of mousewheel movements for undo/redo (to agree with English language metaphors with time: up = future). Tutorial fiddling, including new level on springs. Support ghc-7.10 (hopefully). 0.5.2: Fix cache paths on windows. 0.5.1: New scoring system - you don't get the point for a solution if the lock owner has read your note. Server produces RSS feeds. Improve handling of switching server. 0.5: Adjustments to graphics, tutorial, and metagame UI, to increase clarity. Concurrency on server; no more freezes while it checks a solution. Misc optimisations. Fix sound lag on Windows. 0.4: Sound effects (thanks linley). Animate to show the two physics phases (thanks dormir). Help screens. Help text for buttons and metagame. Deneutralised metagame terminology. Tutorial tweaked. Various UI improvements (thanks Quicksand-S and dormir) 0.3: Mouse control. Improvements to curses UI - handle resizing; show keys; allow rebinding. Shortened tutorial drastically. Other levels now in 'tutorial-extra/'. Improve handling inaccessible servers. Added background. First version uploaded to hackage. Scoring tweak: empty slots are accessed iff all non-empty slots are. Detailed game info in README. Hover text for UI buttons. Marks. Lock testing in edit mode. Significant bugs fixed: editor, lockfile reader, and validity checker were not in accordance on what is allowed as the root of a spring. SDL UI was redrawing the screen on every mouse movement. curses UI wasn't refreshing properly on async flag. stale notes weren't getting refreshed. retired display got stuck on changing codename. you couldn't move into the bolthole with keyboard commands. 0.2: First public release