added first stable version
-- Git-author: Jocelyn Fiat <github@...> -- Git-id: f3eb9d3f73c5ec536277b08f9cda244b2a62636c
This directory will host the upstream sources
