python 2.5 with_statement