Explore short statements v6 - jconsole

Added javascript to print php variables to console. For debugging only
-- remove before prodution!
Explore short statements v7

Fixed some small styling things. Make this small commit now before I
start deleting large parts of the top table.
Explore short statements v8

Major revision.
EditIssues.php now makes all new issues type 2. In explore.html, the
first version of the table has been removed, and the new one has been
put in its place.