Abide verification framework

First internal release of the abide framework that features:
- reflective rule and analyzer loading
- abide compiler plugin
- basic cli that provides 4-phase compilation with abide on top
- sbt plugin sketch (needs version management)
- traversal analyzer that applies single-traversal rules
- scoping analyzer that applies single-traversal rules and provides scoping and/or path information
- a few example rules and doc on how to add more

When you run these things on machines under heavy load, all bets are off regarding timing. I'd rather not include these by default, at least.