- added a 'make plt' target that creates a dialyzer plt suitable for running 'make dialyzer' with (almost) no unknown functions)
- added a 'make plt' target that creates a dialyzer plt suitable for running 'make dialyzer' with (almost) no unknown functions)

git-svn-id: 2a8bda7383c9ade639fce354bdc7f74a859303c9@878 71766da9-9752-0410-ab17-bfafa751c56a

Eonblast/Scalaxis,Eonblast/Scalaxis,Eonblast/Scalaxis,Eonblast/Scalaxis,Eonblast/Scalaxis,Eonblast/Scalaxis