seoul: split vancouver run script into smaller ones

Issue #806
seoul: implement heap_free

Avoids the message

cxx: operator delete (void *) called - not implemented. A working implementation is available in the 'stdcxx' library

during a " new ..." which causes exceptions. Happens for seoul in disk.cc

Issue #806
seoul: catch exception during block session creation

Leads to invalid utcb state and later on to invalid vCPU state.

Issue #806
seoul: use utcb guard

Forgetting to restore the old utcb content results in hard to debug bugs.
Save only the amount of word items which are actually on the UTCB.

Issue #806
seoul: fix console output in vga text mode

Issue #806
seoul: fix disc boot

Additionally use the block session interface asynchronously to let the VM
continue execution.

Fixes #806
Round up RM session size to page granularity

Since RM sessions can be used as dataspaces and dataspace sizes are
supposed to have page granularity, RM session sizes should have page
granularity, too.

Fixes #799.
base: deny region creation exceeding size of a ds

The rm_session implementation expects that offset + size must be
part of one dataspace. Unfortunately the parameters are not checked
properly during an rm::attach.

During an detach memory behind the actual region can be unmapped by such
bogus region entries.

Issues #591
noux: calculate rm::attach parameters correctly

Previous commit denies the creation of regions larger then the dataspace.
Noux does it by setting the default size to the dataspace size without
subtracting the offset.

Fixes #591
run: restrict noux-auto to platforms known to work

* add to autopilot list

Issue #591
Print pthread stub messages to Genode log console

With this patch, the 'not implemented' messages of the pthread function
stubs always get printed to the Genode log console instead of stdout.

Issue #815.
bash: don't call 'check_dev_tty()'

The 'check_dev_tty()' function calls 'ttyname()', which calls the pthread
stub function 'pthread_main_np()', which prints a 'not implemented'
message. Calling 'check_dev_tty()' doesn't seem to be necessary, so this
patch removes the call.

Issue #815.