Fix some warnings
Merge branch 'master' of https://github.com/vanubi/vanubi
Use a lighter plum color for git gutter
Fix several criticals
Another plum color