Merge branch 'dev' of github.com:hioa-cs/IncludeOS into dev

CONTRIBUTE.md

@@ -2,7 +2,12 @@
 
 Feel free to [clone, edit and send pull-request](https://help.github.com/articles/using-pull-requests). 
 
+* Send any and all pull-requests to the dev-branch. It's ok if it comes from your master branch.
 * Do exactly one thing pr. pull-request. This makes it possible to quickly see and understand what you've done. 
 * Please don't redo the folder-structure - if you have suggestions for this, just post an issue explaining the benefits of your suggested structure.
-    * Feel free to add subfolders, just give them ... logical names.
 * Everything you commit will be under the same license as this repo (Undecided so far) and HiOA will retain the right to publish your commits under a different license.
+
+
+## Issue tracker
+Post any issues not allready mentioned, in the [issue tracker](https://github.com/hioa-cs/IncludeOS/issues). You can also post questions, not answered in the [FAQ](https://github.com/hioa-cs/IncludeOS/wiki/FAQ).
+