linuxdoc-tools: Fixing SOURCE_URL and adding a BUILD