flight.js: show comp-id badge over plane on map
mapserver: mapfile cleanup
Airspace: use finer lines to draw airspace borders

This looks cleaner on cluttered areas
map-click-handler.js: fast-forward current infobox animation to reset infobox opacity
map-click-handler.js: remove infobox when moved outside twice the viewport size
map-click-handler.js: use jquery.fadeOut instead of jquery.animate when appropriate
map-click-handler.js: replace jquery.ajax callback settings by better readable™ methods