[gnatcoll/f17] (5 commits) ...Update to new version, fix gpr errors

[Pavel Zhukov]

Summary of changes:

  f0b2253... rebuild for gprbuild-2011 (*)
  7830561... rebuild for new GtkAda (*)
  80f1086... Update to gnatcoll-2012 (*)
  1f4c99d... Fix gpr path (*)
  5dfe63d... Update to new version, fix gpr errors

(*) This commit already existed in another branch; no separate mail sent