VirtIO and Benchmark: vrings are now working revides the buffer management to be able to issue header buffer addapted the vblock driver to deal with header buffers

Benchmark
adapted the xeon_phi_test to an early version of the benchmark test

VirtIO library

Added guest to virt translations and buffer management on the host side.

Big refactoring of libvirtio

use of the same structs with small differences on host and guest side.

VirtIO:

extended library to distinguish between host and guest
added flounder / xeon phi channels for opening devices etc

Block Driver
Parts of an initiali implementation
Device initialization