use upstream spin and temporarily disable the patched features until
they are ported to spin-1.3.0
add dependency on owlapi-rio