Fix includes, and remove autogenerated files from github.

Includes of auto-generated files must come from the build/ directory.
Otherwise there are two sets of the same files (with potential
differences), leading to confusion.

The files can be generated with `make build-registers` if necessary.