Change extId to ticket number

The concept of extid is being retired to pave-way for customizatable ticket
numbers.