Guide for NSA employees and contractors on Bullrun outlines its goals – and reveals that the agency has capabilities against widely-used online protocols such as HTTPS