Update for 7/04/14 (shader options)

New mapfile, new texturey stuff, ...