Skill Transfer for Temporally-Extended Task Specifications - View it on GitHub