Massive cleanup of files and Makefile.

The only difference for the Agda dev should be that now you should
import `undefined.h` in a non-relative fashion, e.g. `#include "undefined.h"`.
Merge branch 'master' of github.com:agda/agda