Template:Restructuring

IMPORTANT We are currently restructuring the ProB plug-in. After completion we will fix the documentation!