Added article on basic randomization.
Merge branch 'master' of https://github.com/coverify/vlang-docs into constraints-dev
Added main page.
Merge pull request #20 from puneet/constraints-dev

Constraints dev