dump out post-translated bitfile from './run'.  To run this bitfile, use './runtrans'