Dialyzer spec adjustments and Makefile target change

Change dialyzer specs to be compatibile with Erlang versions prior to
R16. There were dialyzer bugs prior to R16 that cause problems. Also
remove the race condition checking from the dialyzer Makefile target.