Maunal dev:
1. How to make a patch
2. Packages needed to build for Android (I've just set up a new Ubuntu 14.04 system)
3. How to edit the manuals
Dialogs/Airspace/AirspaceList: Add "Details" button

The "WP List" dialog already has a "Select" button. Use the same UI
interface element in the "Airspace List"
Util/AllocatedArray: add method SetSize()
Merge branch 'xcs-master'