Add space for consistency
Merge branch 'master' of git@github.com:manopapad/proper
Merge branch 'master' of git@github.com:manopapad/proper
Merge branch 'master' of git@github.com:manopapad/proper
Merge branch 'master' of git@github.com:manopapad/proper
small fix in parallel statem testing

* only data internally used by PropEr (i.e. atoms starting with "$")
  should be copied from the process dictionary when spawning new
  processes for parallel testing.
* better description about parallel test cases added in doc
Merge branch 'master' of git@github.com:manopapad/proper
Minor change in documentation
Fix formatting in README.md
Merge branch 'master' of github.com:manopapad/proper
Use include_lib in proper.hrl to make it painless to include_lib proper/include/proper.hrl without having to add proper/include to the list of include paths
Merge branch 'master' of github.com:manopapad/proper
Minor documentation fix
Add type and function clause for the upcoming R15B

Stacktraces contain file-line information in R15B so adapt for this change.
This introduces a warning (clause will not match) when dialyzing this file.
However, the warning is necessary for the same bytecode to work both in R15B
and in previous Erlang/OTP versions.
Fix stack properties for crashing properties in R15B

Properties that crash produce exception errors in Erlang/OTP R15B
due to the presence of the line number information in stacktraces.
Thanks to Tomas Abrahamsson for noticing this and for supplying a
test case and a patch for it.
Avoid useless shrinking when exceptions occur

Function same_fail_reason/2 was written in a way that two exceptions
were equal only when their exception reasons were exactly identical.
This had as a side effect that when exceptions included parts of the
input in them, shrinking was completely ineffective as it was trying
to generate the exact same exception reason. Change the code to only
check the tag of the exception reason.

NOTE: The code now assumes that exception reasons are either atoms
or tagged tuples. Perhaps this should be revised.
Cosmetic changes
Don't panic if you can't repeat a test failure
Set compilation flags automatically according to OTP version
Add unit tests for all cases of non-deterministic properties