refined ui
match a set of tags with OR instead of AND
yield 0 results if searching with nonexistent tags
removed outdated package
ui refinements #2
improved search button state handling
correctly concatenate paths
specified tooltip in upload dialog
updated url of the github-hosted maven repository
versione con tree e tabellaTag ok