ExtPacks/VNC: New extension pack contributed by Ivo Smits, Howard Su and Christophe Devriese. Thank you very much! Frontends/VBoxHeadless: delete old VNC support which was far less useful