new release: 1.2.0+20130803
TestCategory only needs aldor, not algebra
fix name clash with times(3)
enable assertions during build, but make them non-fatal
adapt axllib testcases to future per-directory structure
no need for -Wno-fatal in library builds anymore
Merge branch 'pvs/devel'