Merge branch 'docs' into 'master'

Use python 2,3 compatible syntax for doc strings

See merge request inducer/pymbolic!40