Script for generating JNI header files

@emanuelez @bmunkholm 
Add comment explaining what the last line does.