Added code contracts.
Deleted IGraphQuery, IMetaGraph and EncodingStreamWriter.
Fixed a bug in Grave edge deletion.
Introduced query transformation from object to lucene for boolean operators.
And let the tests pass.