Additional files for WebWorks-2.0 branch