Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning