rename lots of things called bole to bolyan
tidy up copyright stuff as best I can, probably still wrong