Verify all the sources by Ligi

"In this talk you will learn about source verification. These topics will be covered: - Why is it needed? - How is it done? - How can it be decentralized? - How can you use it? - What is wrong with NatSpec and RadSpec? - What are the next steps?"