gomplayer does time stretching up to 4x, video and audio.
vlc does it as well. i prefer goms interface though. either can bind hotkeys for changing the speed in small increments on the fly.
you can google up foobar+ soundtouch dsp for batch conversion of audio files into time stretched files so...