Numa on Linux

Numa now runs on Linux. The build targets recent Ubuntu and Fedora; other distributions are untested but largely work.