Improved Line Rendering

[z64a]

Current rendering of line primitives in the map editor uses deprcated features for GL_LINES like glLineWidth and glLineStipple, which are rendered differently on different platforms. These should be replaced by a modern, shader-based approach.