repo renamed

[marc-hanheide]

@gestom I had to rename the repository as the mix of lower case writing in the rosdistro file and the name actually being sort of camel-cased caused a lot of problems. I think it's our general convention to name repos lower case only. I hope this is ok. If not, we need to find another solution. This was the problem that caused the failing of of automated triggers on jenkins.

Please close this ticket as soon as you have taken notice of it.