removed redundant MultiAbs, simplified instance Show rules for lambda
terms; now Abs is kind of former MultiAbs supporting multiple variables
at one lambda abstraction
fixed file name
added analytics code on production
replace 'class=' in tags according to simplified hamlet syntax