truncate `opam list' output w.r.t. the size of the current terminal

Terminal size is determined using the `tput' or `stty' external commands.
No truncation when stdout is not a terminal (ie redirected to a file).
Merge pull request #436 from oandrieu/truncate-terminal-output

truncate `opam list` output w.r.t. the size of the current terminal