Do -Os on RELEASE instead of -O3.

For two reasons:
 * Firstly, -O3 has historically done bad things for us, leading to unexpected and unreproducible crashes in normal use.
 * Secondly, this will let me simplify the Jenkins build script enormously, and thus use more of the Makefile instead of using my overrides (which can only be maintained by me).