Add auto-generated RTL files. Fixes #61

There may be dragons.