Python solution for 05-three-dice by @MartinThoma