Removed warnings for _Atomic and thread local.
Quarantining a couple more tests.
More test consolidation/reorganization.
Replaced a couple rules with the "all" predicate.
Detection of some issues with restrict.
Couple tests for restrict and old-style fun decls.
Fixing some regressions.
Slightly smarter restrict abuse detection.
Issue with pointer arithmentic.
Reorganized some errors.
==K => ==Type for comparing types.
Refactored SymLocs to include a field for attrs.

To keep track of "pointer provenance" -- whether an lvalue comes from a union
field or an array and whether it's based on restict-qualified pointers.
Whitespace.
Fix for fromArray issue.
Made K[K] => *(K+K) a macro.
More repercussions of the loc() changes.
Merge branch 'master' into java_rewrite_engine

Conflicts:
	semantics/language/common/conversion.k
	semantics/language/common/decl/initializer.k
	semantics/language/common/expr/additive.k
	semantics/language/common/expr/assignment.k
	semantics/language/common/expr/conditional.k
	semantics/language/common/expr/eval.k
	semantics/language/common/memory/reading.k
	semantics/language/common/memory/writing.k
	semantics/language/common/syntax.k
	semantics/language/common/typing/predicates.k
	semantics/language/execution/init.k
	semantics/language/execution/io-buffered.k
	semantics/language/translation/function-def.k
	semantics/library/stdio.k
syntax K => syntax KItem.