MiniMaven: document the 'list' command

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
MiniMaven: add the 'dependency-tree' command

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Merge branch 'master' of git://github.com/imagej/imagej