Two new options for instrumentation; Bug fix in matching .js suffix

Two new options for instrumenting:
1) make on-the-fly instrumentation of eval() code optional
2) allow analyses to be implemented in multiple files

One bug fix: match ".js" only at end of file name

All tests pass.