CONTRIBUTING: document style guide about naming in header files

56 jobs for main in 40 minutes and 55 seconds (queued for 9 seconds)