Removed Erlang Quickcheck Mini. It is more fun to play with Trifork Quickcheck since it is open source and we can learn a lot from it