michaelg/dev: links for lightning-compiler