Allow unicode identifiers on python3, and @ operator.

Also default example to Python3 as it is soon 6 years old now.