update Shake.hs for shake-0.13
split out finiteness stuff into a separate chapter
minor updates