Remove ancient, unused print_banner()
Merge pull request #1009 from drltc/no_print_banner

Remove ancient, unused print_banner()