Everyone else here seems to be wrong. VLC is a very powerful video converter and can trim and modify videos quite easily. You just need to go Media->Convert/Save… Select your file and click ‘Show more options’ in the Edit Options box just type :rate=0.5 for half speed or :rate=2.0 for double speed at the end of the line. You’ll have to click through some options though.