use parallel hash set for symbols for better concurrency#619

rkaminsk wants to merge 1 commit intowippotassco/clingo:wipfrom

feature/parallel_flat_setpotassco/clingo:feature/parallel_flat_setCopy head branch name to clipboard