Added script to count lines of code in Beluga development together with an initial count for the files in stlc
Added script to count lines of code in Beluga development together with an initial count for the files in stlc

andreasabel/strong-normalization,andreasabel/strong-normalization