portal: combating the space-detection issue.
what needs to be tweaked next is how far away objects are spawned.
it should either be a trial&error adjustment or depend on the object's moving direction and the portal's angle in order to avoid issues with box collisions.
if the spawn distance to the portal is just a fixed value (as it was before this patch) or a constant factor (it is now) it can be too big for "nice" portal angles (in tight gaps with still enough space, but -> denied) and too small for bad angles (box collision esp. on big objects like barrels -> denied)
1. Fix broken trainings/missions
2. Update translations (check fireforge for patches)
3. Check copyright headers
4. Changelog
5. Turn debug stuff off (frontend console output)
6. Update message in game server, update check for client version
7. Make a branch
8. Make packages
9. Test packages
10. Upload (hedgewars.org, fireforge.net, gna.org (rsync --delete -avr --rsh="ssh" . unc0rr@download.gna.org:/upload/hedgewars))
11. Post news (hedgewars.org, hedgewars forum, fireforge.net, gna.org, happypenguin, etc.)
12. Make tag (svn copy svn+ssh://unc0rr@svn.fireforge.net/svnroot/hedgewars/branches/0.9.7 svn+ssh://unc0rr@svn.fireforge.net/svnroot/hedgewars/tags/0.9.7 -m "Tag for 0.9.7 release")