Merged various option files from core into CoreOptions.m
Introduced unit tests for the CoreObjects. In particular,
we check the basic properties defined in CoreObjects.m
as well as DownValues, OwnValues and UpValues.
Merged various object files from core into CoreObjects.m