Merge branch 'master' of https://github.com/OpenAADL/ocarina

README.rst

-Ocarina AADL toolset
+Ocarina AADL toolset |build-status| |docs| 
 ====================
 
-|docs|
-
 Ocarina is an AADL model processor, providing code generation
 facilities towards C and Ada; Petri Nets; scheduling tools (MAST,
 Cheddar); WCET; REAL
@@ -21,7 +19,11 @@ code generation examples. For more details, read the examples/README file
 
 The documentation of Ocarina is located in the doc/ directory. To
 build the documentation manually just run 'make html' or 'make pdf' in
-the doc/ directory.
+the doc/ directory. As an alternative, an up-to-date version is available 
+here |docs|.
+
+.. |build-status| image:: https://travis-ci.org/OpenAADL/ocarina.svg?branch=master 
+  :target: https://travis-ci.org/OpenAADL/ocarina
 
 .. |docs| image:: https://readthedocs.org/projects/docs/badge/?version=latest
     :alt: Documentation Status