Set OCE version number to 0.12

Bump OCE_ABI_SOVERSION to 6, incompatible changes had been introduced
by the changes on boolean operations.
Add an entry for OCE 0.12 in the NEWS file