feat(bin/linja): --directory(-C) option
feat(emacs/lean-server): add *lean-server-trace* buffer

Fix #115.