fetch starlib in compressed form

from dropbox, for now.