calculate pi with python (just because I needed something to do)