Add module template README.md files and update the base README file

Fixes #248.

README.md

@@ -0,0 +1,19 @@
+# The Overture Tool
+
+## General Information
+
+If you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.
+
+## Development
+
+Before you download and try to use the code provided in this open-source repository, please browse through the development wiki at https://github.com/overturetool/overture/wiki first!
+
+This directory contains several subdirectories:
+
+* The core Overture libraries are found in `code`, and are pure Java with no Eclipse dependencies
+* The Overture IDE, based on Eclipse, are found in `ide`
+* Documentation for VDM and Overture is in `documentation`
+* Auxiliary code that supports the build process are found in `tools`
+
+
+

core/README.md

@@ -0,0 +1,15 @@
+# Core Libries
+- **Primary Contacts:**
+  Joey Coleman
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/ast/README.md

@@ -0,0 +1,15 @@
+# Overture AST
+- **Primary Contacts:**
+  Kenneth Lausdahl, Luis Couto
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/combinatorialtesting/README.md

@@ -0,0 +1,15 @@
+# Combinatorial Testing core library
+- **Primary Contacts:**
+  Nick Battle, Kenneth Lausdahl
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/commandline/README.md

@@ -0,0 +1,15 @@
+# Command-line interface
+- **Primary Contacts:**
+  Kenneth Lausdahl, Joey Coleman
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/constraintsolverconn/README.md

@@ -0,0 +1,15 @@
+# Constraint Solver Connection
+- **Primary Contacts:**
+  Hiroshi Ishikawa
+- **Status:**
+  Development
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/guibuilder/README.md

@@ -0,0 +1,15 @@
+# GUI Builder
+- **Primary Contacts:**
+  Kenneth Lausdahl
+- **Status:**
+  Development
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/interpreter/README.md

@@ -0,0 +1,15 @@
+# The VDM Interpreter (VDMJ-derived)
+- **Primary Contacts:**
+  Nick Battle, Peter Jørgensen
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/modelcheckers/README.md

@@ -0,0 +1,15 @@
+# Connection to ProB
+- **Primary Contacts:**
+  Kenneth Lausdahl
+- **Status:**
+  Development
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/parser/README.md

@@ -0,0 +1,15 @@
+# VDM Parser
+- **Primary Contacts:**
+  Nick Battle, Augusto Ribeiro
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/pog-string-based/README.md

@@ -0,0 +1,15 @@
+# Proof Obligation Generator (String-based)
+- **Primary Contacts:**
+  Nick Battle, Luis Couto
+- **Status:**
+  Maintenance
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/pog/README.md

@@ -0,0 +1,15 @@
+# Proof Obligation Generator (AST-based)
+- **Primary Contacts:**
+  Nick Battle, Luis Couto
+- **Status:**
+  Development
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/prettyprinting/README.md

@@ -0,0 +1,15 @@
+# VDM Pretty Printer
+- **Primary Contacts:**
+  Augusto Ribeiro
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/testframework/README.md

@@ -0,0 +1,15 @@
+# Testing Framework
+- **Primary Contacts:**
+  Kenneth Lausdahl, Augusto Ribeiro
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/typechecker/README.md

@@ -0,0 +1,15 @@
+# VDM Typechecker (VDMJ-derived)
+- **Primary Contacts:**
+  Nick Battle, Peter Jørgensen
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/vdmj_compatibility_tests/README.md

@@ -0,0 +1,15 @@
+# Compatibility tests between VDMJ and VDMTools
+- **Primary Contacts:**
+  Kenneth Lausdahl, Augusto Ribeiro
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

core/vdmtools/README.md

@@ -0,0 +1,15 @@
+# (Obsolete) Interface to VDMTools
+- **Primary Contacts:**
+  Kenneth Lausdahl
+- **Status:**
+  Obsolete
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

ide/README.md

@@ -0,0 +1,15 @@
+# IDE (Eclipse) Libraries
+- **Primary Contacts:**
+  Joey Coleman
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

ide/build/README.md

@@ -0,0 +1,15 @@
+# (Obsolete) Old build setup
+- **Primary Contacts:**
+  Joey Coleman
+- **Status:**
+  Obsolete
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

ide/builders/README.md

@@ -0,0 +1,15 @@
+# Overture Builder Plugins
+- **Primary Contacts:**
+  Joey Coleman
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

ide/builders/vdmj/README.md

@@ -0,0 +1,15 @@
+# VDM Typechecker Eclipse Builder Plugin
+- **Primary Contacts:**
+  Kenneth Lausdahl, Augusto Ribeiro
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

ide/core/README.md

@@ -0,0 +1,15 @@
+# Central Overture Eclipse Plugin
+- **Primary Contacts:**
+  Kenneth Lausdahl, Augusto Ribeiro
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

ide/debug/README.md

@@ -0,0 +1,15 @@
+# VDM Debugger/Interpreter Plugin
+- **Primary Contacts:**
+  Kenneth Lausdahl, Augusto Ribeiro, Anders Kæls Malmos
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+

ide/features/README.md

@@ -0,0 +1,15 @@
+# Eclipse Features for binding the plugins into the platform
+- **Primary Contacts:**
+  Joey Coleman
+- **Status:**
+  Production
+
+## Description:
+
+
+## Known Issues:
+
+
+## Contributors:
+
+