erltrek_terminal.erl: add typespecs

* typespec yak shaving complete finally as the first attempt
Enable +warn_missing_spec on Makefile.erltrek