Fixes Issue 9237 - Add isPOD trait.
Merge pull request #1421 from AndrejMitrovic/Fix9237

Issue 9237 - Add isPOD trait
change copyright year to 2013
add some logging printfs
Merge branch 'master' of github.com:D-Programming-Language/dmd
fix issue 9248
Add VERSION file tracking the current version