build status + some info for future Jens

README.md

 # Rodin B AST
 
+[![Build Status](https://travis-ci.org/hhu-stups/rodin-ast.svg?branch=master)](https://travis-ci.org/hhu-stups/rodin-ast)
+
 This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.
 
-No original file is changed, but we added this README and the build.gradle.
+No original file is changed, but we added:
+* README.md
+* build.gradle
+* .travis.yml
+* gradle.properties.enc
+* secring.gpg.enc
+* pubring.gpg.enc
 
 Note to future Jens:
 After updating the sources the ```gradle patch``` task must be run. This modifies the sources. **Do not run the task multiple times!**