Refactoring Object Teams programs

Significant work has been put into supporting the automated refactoring of ObjectTeams/Java code. The following refactorings take into account the Object Teams-specific relationships (implicit role inheritance, team nesting, role-base bindings and method bindings).

The Rename Package refactoring is also available, with the only limitation that you cannot rename team-packages. The Rename Type refactoring does not yet support role files ( OTJLD § 1.2.5).