Fix git repo URL for libopenstm32.