Reinforcement Learning for Agile Locomotion: From Algorithms to Design Tools