Merge pull request #10 from ale-f/project-infrastructure

Project infrastructure
some updates
Merge pull request #11 from ale-f/project-infrastructure

Stopped using the deprecated org.eclipse.ui.actionSets extension point
Added a builder, nature and wizard for Coq projects
Added a content type for .vo files

This commit also changes the content type IDs for .v and .vo files -- they
should have been fully qualified, and now they are
Added an early prototype of a model for Coq elements

None of these interfaces are anything like stable, so use them at your own
risk
Use the new CoqModel methods to create, configure and deconfigure projects

To avoid confusion, this commit also changes the name of the nature class
from CoqProject to CoqNature
Added support for load paths to the Coq project abstraction
Tidied up the Coq model's description processing code
Don't wrap simple operations inside IRunnableWithProgress objects
Create source and binary folders when creating a Coq project

The paths to these folders are all hard-coded at the moment. Another page
should be added to the creation wizard to make them configurable
Added a property page for configuring a Coq project's load path

This is just a placeholder at the moment; eventually it'll look -- and
work -- like the Java class path configuration page
Added more of the Coq load path preference page's user interface