Directory structure and Oasis tidying.
* Update authors to a more accurate pointer (GitHub contributors)
* Add support for native compilation in _oasis
* Rename NetCore to NetKAT in _oasis
* Fix documentation target in _oasis
* Rename frenetic/ to src/
* Delete old front-end tests (dehop_test and netkat_test)