fix somaxconn (it's a ushort in the kernel)
lxc: fix debian support
base: use Google and Verizon public DNS
vagrant: split machine definitions