updated links in WebBuilderPhase

Add reference to `Extending Safe C Support In Leon` report

Update documentation for GenC

Update GenC documentation about HOF

Update style of nested bullet point list for documentation

Update documentation for GenC

Add support for == and !=

Add regression tests for operator equals

Improve mutable type handling with HOF function

Add regression tests for GenC for HOF and mutable types

Reject some aliasing form that GenC memory model doesn't support

Update GenC testsuite to reject some aliasing

Move one of GenC testcase to its valid category

Add additional example for pattern matching

Fix & improve pattern matching on array accesses