Removed some overlib_*.js files which are no longer used.