jslint: Add more options and global variables