Migrate project from Gerrit

Move the EASE project from gerrit to Gitlab. This involves:

• moving & merging source repositories
• updating oomph setup
• updating jenkins build files
• move website repository
• move mediawiki content
• mov eexample script repository