Isabelle perspective
add Isabelle perspective shortcut to most popular Eclipse perspectives
Merge branch 'perspective'