doc/introduction: fixed python 2.x print usage