python: Avoid lots of \" in quoted strings by using '' as outermost quotes.