Initial support for WK2

The command line option '--webkit' allows switching between WK1 and WK2.