Update jython to 2.5.3

Update jython to 2.5.3, which is now hosted at Maven (with a slightly different filename than what the devel release uses).