Delete gnatslib.js - another unneeded cvs file

3 jobs for gnatslib in 13 minutes and 53 seconds (queued for 11 minutes and 5 seconds)
Status Job ID Name Coverage
  Build
passed #1702
build-sbbs

00:11:53

passed #1703
build-sexpots

00:00:09

passed #1704
build-syncterm

00:01:49