Remove the volatile rules feature in libclasp.
Add a space between "%" and primitive format spec according to new
standard.
Build with std=c++11.
Add blocksworld app and build it.
Add <string> header to literal.h
Ignore vim ~ files and only ignore log dirs under benchmark.
Update timeout limits in batch.sh
Add blocks world related benchmark files