We can give users the option. Instead of hard-coding /ticket, we
should start doing the right thing which is to use [ticket_url_stub].
Then we can simply use one of the config parameters to decide
whether the ticket.tcl or new-ticket.tcl file should be sourced.
