Remove lib/ directory

There is no need for manually downloaded dependencies in Maven projects,
because IDEs like Eclipse or IntelliJ IDEA support Maven imports and can
keep their project settings in sync with Maven changes.
README.md: add info about development tools

List IDEs (IDEA, Eclipse), tools like Git and Maven as well as AspectJ
plugins necessary for developers who want to edit and re-build the
project.