Failing test cases displayed.
Restyled test run results
Fixed webdriver test
Merge pull request #33 from klee-web/invalid

Inital commit for invalid test cases.
heap analytics.
Merge pull request #36 from klee-web/heap

heap analytics.
Implementation of admin panel stats.
Merge pull request #38 from klee-web/analytics

Implementation of admin panel stats.
sym-files and sym-args can be given in a user-friendly way