Move IS policy to its own directory and so some minor LaTeX cleanup