Updated installer and fixed small memory leak in libReplayTool.
Merge branch 'dev' of github.com:bwapi/bwapi into dev