Merge pull request souffle-lang#713 from mmcgr/ProfileDB

Add relation and rule count to profile logs and profiler top command

Merge pull request souffle-lang#666 from mmcgr/profiling

Fix parallel errors in profile logging.

Merge pull request souffle-lang#664 from mmcgr/release130

Update changelog ready for Release 1.3.0

Merge pull request souffle-lang#484 from mmcgr/release

Update changelog.

Merge pull request souffle-lang#370 from mmcgr/version

Preparation for 1.1 release

Updated version in debian changelog