Merge pull request #11 from niksu/master

fixed: incorrect argument was being given to opam config;
* Cleaned the code for not used variables
* added rete function towards rete_network implementation, which
constructs a list of pairs of (AM, BM)
* Added new type, rete_dataflow and refactored the rete function and the
9'' test to use it.
* Fix a bug in the join function, which failed when multiple solutions
were associated with the same Variable
* Added new functions towards the standing query implementation which
includes definig new type for the Rete network data flow (needs more
tests)
* Renamed tests to fit the OUnit convention 
* Test 8, slightly changed, to include extra tuples
Added a function add, which triggers activation of the standing query.
The activation chain results in the update rete network.
* Added a test to test the add function. Needs more tests
* Slightly changed the numbering of the test for clarity.
* Commented out the debug printouts in test.ml and config.ml
* moved Rete related code to a seperate module Rete
* moved Rete related code to reme.ml
refactored the code to reflect the addion of the Rete module.
- added rete.ml
Update README.md
* Added parser specification file (mly) for parsing a tuple
* Adde a lexer file (mll) that converts text to tokens
* Added test 14 - to test creationg of tuple from a string
Frecatored to compile using ocamlbuild
Update .travis-ci.sh

Added Menhir to installed packages
Big commit:

1. Added Parser and lexer for queries str -> list of queries
2. Also added a Helper module and moved all the helper functions into it
3. Included a test for the query parser
* Added a parsing function to allow parsing string of tuples into
list of tuples object
* Added a test for it
* Added to_tuple_lst