Fizzbuzz with python