Merge pull request #19 from puneet/constraints-dev

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