ui refinements #2
improved search button state handling
correctly concatenate paths
specified tooltip in upload dialog
updated url of the github-hosted maven repository