#40 javascript selection toolbox

[Nicolas BONARDELLE]

Like the one in the java GUI, but this time in
Javascript so that the user can interract with the log
displayed as an HTML page.
This may be tricky, but this should be possible, even
if all the selection possibilities of the Java version
are not available.