lean: ship the module roots — lean cannot compile anything without them

lean: ship the module roots — lean cannot compile anything without them #300