eric5 version bump