Make NFS an option
I couldn't get NFS in the Ubuntu guest to play nice with the NFS server on an Arch host. However, the built-in vboxfs is quite slow, and when building sel4-sys standalone libgit2 likes to hammer the filesystem on behalf of Cargo. NFS would mitigate the impact of that somewhat.