All tools branch

[Pancax]

All tools added and tested on small cases

[amordahl]

I got the following error running Amandroid and Droidsafe:

Traceback (most recent call last):
  File "/venv/bin/tester", line 8, in <module>
 sys.exit(main())
  File "/ECSTATIC/src/ecstatic/Tester.py", line 205, in main
    checker = ViolationCheckerFactory.get_violation_checker_for_task(args.task, args.tool,
  File "/ECSTATIC/src/ecstatic/violation_checkers/ViolationCheckerFactory.py", line 30, in get_violation_checker_for_task
    return AndroidTaintViolationChecker(**kwargs)
NameError: name 'AndroidTaintViolationChecker' is not defined. Did you mean: 'AbstractViolationChecker'?

TAJS looks ok. I haven't checked WALA-JS yet.