Remove optimization declaims
Add standard SBCL file headers

(Pending approval from mbenkard).