python-engine: Add coverage data structure

Obviously not used just yet. Unfortunately, "Metallgutten" is too long
to fit into a uint64_t...