Syscall info in python

As suggested in #1311, this moves the information contained in `syscall_defs.h` into a Python file, `syscalls.py` and changes the build system to generate numerous files from that Python information.

The CMake stuff might not be optimal, but I wasn't sure of a better way to do things.

I think this worked out pretty well. WDYT?