manifest: pull 'libcore' from github repo