More docs, sconsifyrc and no-ui-random arg