RFAC: added Models module
ENH: made lucastree.jl printing less verbose
MERGE: ...
RFAC: updated solutions/examples to use new Models module