Added tlap-template from previous project hierarchy.
Added template for tlap-3-problems.