Added tools/stripcomments.sh for easy header file clensing