I am never sore of tight the next day
Sounds like your routine is good for your technique and the distance / speed you're going at the moment.
Every runner builds up their own bank of stretches they feel they need, and it's never a good idea to copy someone else without knowing why you're doing it.
Most people now agree that there's no need to stretch before going out. Just make sure that you take time to warm up by walking / jogging for a decent distance at the start of your run. If you really want to stretch before, then dynamic, rather than static, stretches are your thing. This means strides, knees up in front, arse-kicks, side-ways running, lunges etc.
Afterwards, cool-down properly (jog / walk again for a decent distance), then do your static stretches. I add a couple of hamstring stretches, one for my IT band and one for my achilles on top of what you do. Basically I do this because my achilles / calves get tight because of my running style.
Do a search of 'stretches runners world' in Google when you want to add an exercise that isolates a particular area.
