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).