Update the coding style part of HACKING