Add TCK loading/dumping helper functions.

Closes #271 (closed) by removing copy-pasted TCK dumping/loading logic from options files and tests. All instances are replaced by helpers in the new Moore.tcks module.

No effort is made to 'improve' the TCK infrastructure we have today. However, this refactoring should make future improvements easier to implement as the TCK manipulation is now more centralised.