HACKING - checkpatch before pushing makes life quicker

Change-Id: I4c3cde2aae7bdea138413e373ac986be3efd54de
Signed-off-by: rodrigo_l_rosa <rodrigorosa.lg@gmail.com>
Reviewed-on: http://openocd.zylin.com/252
Tested-by: jenkins
Reviewed-by: Øyvind Harboe <oyvindharboe@gmail.com>

HACKING

@@ -92,6 +92,7 @@ repository.
 while(!done) {
   work - edit files using your favorite editor.
   run "git commit -s -a" to commit all changes.
+  run tools/checkpatch.sh to verify your patch style is ok.
 }
 
 TIP! use "git add ." before commit to add new files.