Fixes #5950: Auto-adjust the height of the technique editor

I'd put the function in rudder.js (maybe with a ID parameter ?) so it can be cached correctly and (one day) minified