Ease use with tools/validate_asmjs.py by making it look for a corresponding .js file if a .html file without asm.js code is given. This matches the convention of emcc output, which generates .html and .js files with same basename.