Add SublimeFixMacPath note.
Handle nested imports.

E.g.: "Require Import Coq.Arith.Arith."
Merge pull request #3 from whitequark/master

Corrections