Merge pull request #4 from SyncFree/features/csm/query

New computation models.
Merge pull request #5 from cmeiklejohn/features/csm/query

New computation models.
Ignore qc directory.
Update dialyzer warnings.
Ignore riak_test compiled files.
Add first pass eqc model for derflow_ets.
Don't run the tests as part of compilation.
Add updated model for lattice binds.
For the bind to succeed, assert it wasn't bound.

Assert that the variable was not bound, to verify that the successful
bind should have happened.
Add parallel execution test.
Update eqc model.

Update model to correctly represent reads and binds.  Ensure the model
only ever changes when a bind is a initial set of a value, or an
inflation.  Ensure the read operation always returns the value expected
from the model.
Add invarient for threshold read.

Ensure the threshold read returns the threshold, and executes over
things which have already passed the threshold.
Update model to test threshold reads.

Test threshold read operations using the eqc_statem.  Verify that
operations on the reads only return the threshold specified;
precondition on the threshold not being available yet.
Add read and write concurrency to the table.

Add the read and write concurrency options on the ets table to see if
tha induces a failure when using parallel commands.
Ensure we compile code and tests.
Add sum computational conflict-free replicated data type.

Add a sum computational-CRDT, which has an additional operation -- a
merge_delta function, which takes partial computations and joins them
into the local state.
Update dialyzer warnings.
Don't remove the entire directory.

Don't remove the directory; keep the directory around or future builds
will fail.
Correct include.

Correct include pathto use the version provided by the riak_dt library.
Update test to use correct syntax.