Resizable petris + .jar(pre-Alpha 0.42)

Petris is now resizable. This can be done by resizing the Petris’s
window with the mouse pointer. The game will maintain the same aspect
ratio all the time.