Various edits. Most importantly, added dual licensing. Also some

changes suggested by BobW.