Housekeeping: move pocket generator to source dir.