Delete unused main() function

The new dead_code lint warns on this.