Make buttons for adding to and removing from background for each axiom in BackgroundView

In the background view every axiom shall get a button for moving to the background / knowledge base. And remove the buttons for multiselecting and moving from background to kb and vice versa.