Added support for reading and writing _CoqProject files

Kopitiam needs somewhere to put its project-specific configuration, and
the _CoqProject file seems to be a good place
Use a 64-character buffer when reading responses from coqtop

Until now, Kopitiam had been reading responses character-by-character, so
this commit should somewhat improve the I/O performance