Remove lib_sync script

It seems this script was used to extract libraries, along with their
history, from the libraries directory of this repository. Since then,
all libraries have been extracted and then deleted in commit 067d7e9
(Delete builtin libraries sources), so no need to keep this script
around.

Author: matthijskooijman