Update PORTING file (use of JavaScript codes in compiling).