re-add rdf output with .nt extension (n-triple)
adjust Hets-lib and still use Isabelle2012 dependency
use isabelle-installer
added 'lable' field to Entity data type. in this snd attempt, a constructor is employed for better maintainability
added labelMap to OWL2.Sign, to store class labels within this field during analysis
labels are extracted from annotations and stored in respective field (Sign.labelMap). however they are never printed or otherwise employed as of now
moved the IO availability test into the prover and checker records
add usability attribute of external tools to xml logic graph
use usable provers and cons-checkers
increase memory for mac
isLeft is missin in Data.Either of ghc-7.6.3
make it compile on precise using ghc-7.4.1 and http-types < 0.7
Merge pull request #1380 from spechub/http-types

make it compile on precise using ghc-7.4.1 and http-types < 0.7
added reasons for missing provers, etc
also filter for usable conservativity checkers
added service for available provers #1378
also adjust the displayed logic grpah to usable provers
labels are properly written in OWL2.Sign.symOf and are printed via Static.ToXml, using the new Logic.Logic.sym_label
removed comments; version for reviewing
implemented OWL2.AS.pairSymbols, and did run scan and fixed stuff