Merge pull request #32 from ejgallego/master

Pass on dclabels.md
up to integrity
minor spacing
pass done
Merge pull request #33 from ejgallego/master

Pass on privileges.
integrate some of bcp's comments
more bcp comments
note on common.hs
debug helpers
log out
Fix apparent typo