Backport a bunch of fixes that are on master and relevant for the stable flavor

[doudou]

We can't blindly merge master as e.g. the orogen plugin API has not landed in stable yet.

Among other things, it does a bunch of gitorious -> github renames