Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning