Fix #191 (highlighting of unification queries)
Fix #191 (highlighting of unification queries)

dopefishh/cloogle,clean-cloogle/cloogle,dopefishh/cloogle,clean-cloogle/cloogle.org,clean-cloogle/cloogle,clean-cloogle/cloogle.org,dopefishh/cloogle,dopefishh/cloogle,clean-cloogle/cloogle,clean-cloogle/cloogle,clean-cloogle/cloogle.org,clean-cloogle/cloogle.org,clean-cloogle/cloogle,dopefishh/cloogle