Upgrade to EPrints 3.3.12 to fix a number of issues including IR-137 and IR-133