Better build scripts

 * use sed to patch gnatlib/gnatcoll_shared.gpr instead of the
   patch file that doesn't work in any environment that's not
   completely identical with mine
 * Add short commit id when packing an app bundle for distribution
 * removed some trash from bundle/build-bundle.sh
Merge branch 'develop'