Removed from tracking extra directories.
Merge branch 'ds3222' of https://github.com/vzaychik/webdamlog-engine into ds3222
Small fixes for correct execution parameters.
Merge branch 'master' into ds3222
updating execution.py to reflect changes in database
commit -m "execution/py updated with code to insert values in DB"
Merge branch 'ds3222' of https://github.com/vzaychik/webdamlog-engine into ds3222
changing the master delay to 0
added miklua6 to fab and other files
Merge branch 'master' into ds3222
 Adding some minor changes ( sleep, valrange, ) in driver, executiog, config and load benchmark files
 ading the wdlexex.py with sleep(59)
 adding build 3.1 to execution.py script
Corrected iteration so that mode binary strings are used correctly.
Switched to reporting user table size in bytes instead of "words" and also size of sent packets in bytes instead of tuples.