gituser/pypi: links for micral-core