Remove no argument constructor from OwlOntologyChangeRecord.

Java Serialization only requires a no-arg constructor on the first *non*-Serializable superclass of a serialized Object.
Since OwlOntologyChangeRecord is serializable, it does not need the no-arg constructor.
Annotate  fields in OWLOntologyChangeRecord as Nonnull
Nonnull annotation on fields in ConvertEquivalentClassesToSuperClasses
and DefaultPrefixManager
Nonnull for OWLFunctionalSyntaxFactory
Nonnull for tutorial classes
nullity annotations for tools
nullity annotations for dl, krss and latex
nullity annotations for functional syntax
nullity annotations for manchester syntax
nullity annotations for owl/xml
nullity annotations for rdf/xml and turtle
nullity annotations for reasoner impl
nullity annotations for impl
nullity annotations for contract
nullity annotations for api.util
nullity annotations for api.model
nullity annotations for fixers
nullity annotations for contract tutorial
nullity annotations for apibinding
nullity annotations for oboformat