adding docs in the piki format.
Avoid use of discard-input. Fix #405.
Remove timeout from loop in ghc-sync-process

This fixes the possibility that ghc-process-running was left non-nil
after timeout.
Quit still can abort the loop.
Merge pull request #408 from iquiw/master

Remove timeout from loop in ghc-sync-process