nova: set pager and native ec cap for main thread

Prerequisite for follow up commit regarding base-nova specific Genode Spinlock
replacement.

Issue #986
nova: replacement of generic Genode spinlock

Turn Genode user-level spinlock into a user-level "helpinglock". This requires
support by the kernel introduced with kernel branch r5.

The commit avoids live-locks when multiple threads with SCs on different
priority levels compete for the same user-level Genode "spinlock".

Issue #986
nova: support usage of priorities in Genode/Nova

Enables finally the usage of priorities on base-nova.

Fixes #986
Generate Genode version string on each build

The version string was generated when core/main.cc was rebuilt, which
happens on changes in the file itself or in a header file it includes.
But, the version should reflect if the Genode repository was changed at
any place. Therefore, I moved the version string to its own version.cc
which is forcedly rebuilt any time core is examined by the build system.

@nfeske what do you think about it? Core is now relinked on any build.

Fixes #551.
vbox: improve BFE argument handling