I think it would be cool if the add-ons were available in a maven repository and that the directory had an option to copy the dependency xml to be pasted in a pom file.
Fully agreed. This was discussed during directory development, but we decided to postpone this for the lack of time. There is a ticket
http://dev.vaadin.com/ticket/3821
for this already.