Update the Doxygen main page #12
Merge branch 'vc_upgrade'
Include tools and vsprops into the distributed archive #13
Merge branch 'dist'