Some improvements to method handling and return types
Merge branch 'lab3' into interference-rules-2

* lab3: (37 commits)
  Added lost timer web implementation
  Small fixes to lost counter implementation
  Class def now takes 4 arguments
  Implementing working lost counter with websockets
  Add new core compiler
  More work on lost counter
  Revert "Added input arguments to the classes."
  Added input arguments to the classes.
  Added support for internal code in Idle and Reset. Added a new simpler example program to run. TODO: Make it print the code in lists with one line of code in each row. Maybe pretty colors, who knows....
  Fixed the problem with Idle/Reset not separating
  Updated the AST.ml to the current version in interference_branch.
  Always generate local functions
  Started implementing lost-counter with ws
  Added support for Reset and Idle taks in the Root class. Still not perfect, they won't separate. Two arrows means both, one means either is present.
  Added a working structure for the gv_task flag. Now it produces the same object->task/function level of depth as gv_obj but with a separate "main"function
  Added some comments, removed the toplevel "Root" graphics, fixed some stuff in the Makefile to make it compile .coore-files correctly and make the new Graphviz flags work properly (added Application.coore)
  Started implementing lost-counter with websockets
  Generate include statements correctly
  Fix bug when specializing local functions
  Specialize more statements
  ...

Conflicts:
	RTFM-cOOre-compiler/src/TypeTree.ml
	RTFM-cOOre-compiler/src/VariableTypeCheck.ml
Merge pull request #27 from samuel02/interference-rules-2

Some improvements to method handling and return types