Delete gnatslib.js - another unneeded cvs file

3 jobs for gnatslib in 13 minutes and 53 seconds (queued for 11 minutes and 5 seconds)