Use 0launch's selections XML format instead of our custom format.
tree7d5ef0ff33d1fc3fc8b48edd8699a321cc1ea339
-rwxr-xr-x 2595 0compile
-rw-r--r-- 3230 0compile.1
-rw-r--r-- 1115 0compile.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 781 bugs.py
-rw-r--r-- 7393 build.py
-rw-r--r-- 1549 copysrc.py
-rw-r--r-- 1329 gui.py
-rw-r--r-- 11781 gui_support.py
-rw-r--r-- 1232 include_deps.py
-rw-r--r-- 2065 publish.py
-rw-r--r-- 3642 setup.py
-rw-r--r-- 6937 support.py
drwxr-xr-x - tests