More psake improvements, packaging with 7z, and using fxcop