Do not build example by default
Update dist rules to package svtest and autostuff