add Isabelle perspective shortcut to most popular Eclipse perspectives
add Isabelle perspective shortcut to most popular Eclipse perspectives

andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse,andriusvelykis/isabelle-eclipse