Add VXLAN backend

VXLAN datapath is supported by the kernel thereby reducing the
overhead of TUN device and userspace switching. This patch takes
advantange of DOVE extensions and does not use multicast for port
flooding.

Fixes #18
If there are multiple backends at play, could there be multiple vxlan backends?