Update documentation (move Selenium stuff to "bolzano" project; add new text for "simple")