17-year-old boy who stabbed teenage girl to death named as judge lifts restrictions