- Remove buildroot, defattr, clean for modern RPM.
- Includes bundled extlib. Disable this by adding BR ocaml-extlib-devel.
- Fix check rule so it sets COCCINELLE_HOME.
- NB: TEST DISABLED. UNLIKELY THAT SPATCH FUNCTIONS CORRECTLY.
+ Disable _libdir/*.so stripping. Why is it not installed?
+ Disable Python stuff. Why is it not installed?