Added dialyzer make targets
Added some documentation