- files in local directories (saves & configs) now always have higher
priority than mods. Fixes #1685 and #1733
- fixed possible crash on exit in dispose() function
- (vcmibuilder) fixes problem with partial mp3 -> ogg conversion


git-svn-id: http://svn.code.sf.net/p/vcmi/code/trunk/@3802 4dfc6b2a-8b31-0410-aa91-d6c70e3ac834