Add licence (GPLv3) and some cosmetics.