Ready for release 0.2

- Extended documentation with examples and section on modular reasoning
- Polished code comments
- Fixes in indicating the location of a contract when it's broken
- Added a little proof-of-concept in Debug aspect demonstrating that the
pointcut can be simplied to "match whereever I'm mentioned in an
@advisedBy annotation"