Topological full groups of one-sided shifts of finite type