OBR create the process for merging the Git repositories

[CeylonMigrationBot]

[@quintesse] This should include merging master and branches and rewritiing commit messages to change #NNN into `ceylon/ceylon-xxxx#NNN´.

[Migrated from ceylon/ceylon-dist#36]

[lucaswerkmeister]

I think we can close this, right? Should be covered by CeylonMigrationBot/obr-merge-scripts (though that repo seems to be missing a commit that fixed quotes in issue comments, @quintesse?) and of course the fact that OBR is done :)

[quintesse]

Yes I suppose we could (btw I updated the scripts in the repo for your viewing pleasure).

[lucaswerkmeister]

Thanks!