Rename SMILE to SmileMiner

Multiple projects and groups are using "SMILE" in the area.