Making Small Language Models Efficient Reasoners: Intervention, Supervision, Reinforcement