Use prettify.js instead of run_prettify.js.

If custom skin is needed then it is easy the application developer to contribute it explicitly
Merge branch 'master' into wicket-7.0.0-M1