Fix #3: Syntax check segfault on null filename.
Mostly small cosmetic changes: documentation, flycheck colors...