Added Allow to specify and execute "favorite" Maven commands. #72 #259 Hover to show effective version of a dependency. #260 Add a command "Maven: Add a dependency" for convenience when editing pom.xml. #253