GitLab

new command: obi rm: deletes any view (for now the user deleting a view accepts that there will be missing information when running obi history if other views descend from the deleted view)