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
flight.js: show comp-id badge only if multiple flights are on the map
lib.xcsoar.analysis: increase triangle trace size