Improved (dist-)clean target, updated docs.