Change loadAnnotations to return annotations instead of mutating firrtlOptions
Deprecate implicit annotation file (top.anno) and annotation file override

The logic around this option was unintuitive and led to silently dropped
annotations.

Updated wording

[skip formal checks]
Generate nicer name for remove accesses

Fixes #527 

This resulted in parent modules sometimes being constant proppagated
before a child module. If the child module has a constant driving one of
its outputs, the parent module would thus not see the constant. This
resulted in strange unstable constant propagation behavior where
sometimes constant outputs would not propagate.

Also add test illustrating why this occurs with uses of InstanceGraph

Fixes #708

Bump SBT to 1.0.4 and update plugins
Update Scala versions and sbt commands in .travis.yml
Replace run-main with runMain

Remove wires, replacing them with nodes

Make the check script allow different designs
Add FPU, ICache, and RocketCore to regress and use instead of Rob for CI
equivalence check

This transform replaces all wires with nodes in a legal, flow-forward
order

Move pad to object ConstantPropagation so other transforms can use it

* add graph node classes

* add graph representation usage pass

* remove pass using graph nodes so that firrtl can compile

* move google graph ir nodes to altIR package

Also let Travis know that equivalence checks can take a while

Add Yosys formal equivalence checking to Travis regressions

Also add Travis test for running this script on PRs