Use short filenames to handle spaces in path to bin\mix
Merge pull request #2508 from chyndman/mix-bat-short-names

Use short filenames to handle spaces in path to bin\mix
Mention app: false on no app error
Add performance note to String.slice/1
Require Record before in defrecord samples