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
Stylistic question: Why the switch here to passing the pointer? Either this should be &LeaseAttrs, or the concrete type should be passed to AcquireLease.