Initial sf.net commit of version 1.3.0 including a follow-up commit (removal of unnecessary indirection in inner_prod())