new icon for prover output view (progress + turnstile)
new icon for "submit to point";
disable "submit to point" with fake editor ID for now since the functionality is not working at the moment
new Isabelle icon to use within Eclipse: a stylised version of the official one;

the official Isabelle icon when resized to 16x16 becomes quite blurry so the new icon helps with the sharpness and meaning
some popular icons for Isabelle outline items based on their names
minor updates to Isabelle overlay icon: blue is on top of yellow now
Merge branch 'icons'