Removing BUILD file.
Merge branch 'open-source' of https://github.com/LimitPointSystems/SheafSystem into open-source
A few changes to the formatting.