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

These are no longer used anywhere, only overlib_mini.js is.