Fix formatting and rewrite large parts of README

Among many changes, merges the "Notes" section into the previous
sections, where relevant.
Rename gpl-3.0.txt to LICENSE