A timeout library for galaxy.