ticket_fragmens was created

Fregment transaction cannot easily be used to replace FormFragment,
since the specification at the XML file denies the programmatic change.
Switching view content at the Fragment is possible, but would cause
surprises when Android resets the fragment class content. Thus
TicketActivity is a stratghtforward solution.