Continue refactoring CLI pretty-printing (resolve #393)
Remove redundant package in Ubuntu build instructions
Tweak pretty-printing