Set some default command line parameters.

Now, if no arguments are given to dfterm3, it still opens port 8000 for
Websockets, 8080 for files and 8081 for the admin panel.