misc: make local make overwrite cogent exe

test: add a test-compiler-proofs target to Makefile

[skip travis]

test: fix libgum test

test: change extra-phase logic

* if --extra-phases is not specified, then no extra phases tested
* otherwise, it's subject to --ignore-phases

test: fix --repo and --cogent args

test: add --cogent flag

[skip ci]

misc: minor changes to the makefile

[skip ci]

misc: add local build to Makefile

compiler: move to cabal-3.0

misc: check for sandbox config, not default sandbox dir

fixes #364

Finished fixing issues after rebasing against master

Small fix to normaliseT

dargent-merge: fix Makefile

dargent-merge: add in quasi quoter + tests

Readded test-hs to tests in Makefile

Small fix to normaliseT

Changed the test suite to not depend on an internal library

Also added it to the Makefile.

misc: rewrite Makefile to use v1 commands

tests: migrate to new testing script (partially)

also see #350 for what's missing
[skip lemma]

tests: represent abstract data types as structs, because otherwise C-refinement fails

test: try to add a c-refinement test

[skip ci]

cogent: make: remove obsolete references to 'doc' makefile

There is no Makefile in `doc/` any more; `make clean` was not working.

compiler: fixing hsc gen and its tests

addd to Makefile and the script. e.g.
make --test-hsc

some tests are still failing.
wip: fixing hsc generation

compiler: revive tests for hs-shallow.

Not enabled in travis CI as some of them still fail.
Fix violations of our assumptions mentioned at the beginning
of the Cogent.Haskell.Shallow file in the test-suite.

misc: add a new `make test-compiler` command

which runs all compiler tests expect the Isabelle ones

[skip lemma]

compiler: remove dup targets in Makefile

[skip ci]

compiler: largely improve coherence btw parser and pp

compiler: update scripts accordingly

tests: improve build script for tests and examples

[skip lemma]

ci: update travis setup

[skip lemma]

compiler: improve testsuite and scripts

now we have a pass_flags_* or fail_flags_* pattern
that we can automatically test for compiler flags

Remove the old style debug statements.

Cogent earlier had statements starting with an `_` which the compiler
would ignore in debug mode and this behaviour has changed. This commit
removes those statements and is the first phase of using the
C preprocessor style debug conditionals.

lemma-ci: tweak tests items

regression: lemma and travis cover most tests (minus huge proofs)

* add some isabelle related tests back to lemma-regression
* update libgum typecheck test
* fix isabelle tests
* fix bilby build (fail due to kernel compatibility)
* other misc fixes to test script

ffi-gen: add ffi-gen to testsuite

makefile reorg based on Partha's version

Makefile cleanup.

A few long needed changes to the Makefile. We now:

* build into the sandbox, by default, with `make` in `cogent` directory.
* can install globally by running `make install-global`.
* can build docs by running `make doc`.

examples: add them to travis

[CI] Use travis on github for build and sanity.

This commit adds a .travis.yml to the repo. I've also enabled `Travis`
on the `NICTA/cogent` repo and configured it to get travis working for
both `merges` and `pull requests`.
There might be some minor issues still, which I intend to iron out over
the next few days.

[compiler] Build and distribution fixes.

This patch contains a couple of fixes:
* Remove files `tests.xml` and `libgum_tc_test.sh` from the install path
* Move `validate.sh` to scripts directory and is renamed to cogent_validate.sh.
This script now just runs tests and doesn't build cogent.
* Fix paths in proof generation to get the tests passing again[With Zilin Chen].

[libgum] Annihilation of symbolic links.

This patch gets rid of all the symbolic links to `libgum` and uses the c-style
includes that was introduced earlier. `libgum` has also been moved to
`cogent/lib/gum` directory, and will be copied to the `stdgum` directory based
on the build/install directory.

[compiler] Add support to build with `stack`.

To build with `stack`[1] run `stack build` or `make stack-dev` and it should
just work.

[1] - https://docs.haskellstack.org/en/stable/README/

[compiler] Cogent compiler build cleanup.

This commit:
* fixes the issue with reinstalls, by adding a `force-reinstalls` flag
* adds a `Makefile` to `isa-parser`.

Code reorganisation.

* A rejig of the the Cogent compiler's directory structure.
* Support for building Cogent compiler with both `cabal` and `stack`.
(`stack` support is EXPERIMENTAL)
* Use Makefiles for build and install.
* Remove trailing white-spaces.
* Generate `dummy headers` in `tests/include` for testing C code.
* Remove unused `gen_types.sh` script
* Bump version to `2.0.6`

TODO:
* Remove duplicated files in `libgum`