lint

Added support for hashmaps in `Smt` and `SimpleSmt` #230

Job	Run time
clippy nightly on ubuntu-latest	32s
doc stable on ubuntu-latest	55s
rustfmt check nightly on ubuntu-latest	11s
check rust version consistency	3s
	1m 41s

Provide feedback