add file-level documentation, including copyright and license statements