Rename hw5-1.smv to hw-5-1.smv