Merge pull request #88 from MortenSchou/update-json-format

Update JSON format

Merge pull request #64 from clemy/readme_release

added release build command to readme

Merge pull request #55 from MortenSchou/weight-for-trace

Query weight notation for trace and rules

Merge pull request #23 from MortenSchou/prepost

Implementation of Pre* and Post*