[orc] (6 commits) ...Merge remote branch 'origin/f13/master'

[Fabian Deutsch]

Summary of changes:

  b7d832d... Initialize branch F-13 for orc (*)
  2daf4d8... Import of orc F-13 branch. (*)
  6d21939... Updating orc to 0.4.5-2. (*)
  4d5a75e... Update to 0.4.6. (*)
  14ebe92... dist-git conversion (*)
  40b9524... Merge remote branch 'origin/f13/master'

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