Update devel/eric4 to version 4.5.12