Changed all indentation from tabs to double spaces.
Merge pull request #11 from SEDS/Task/Thread

Changed all indentation from tabs to double spaces.
Changed Guard <RW_Mutex> class to be subclassed by Read_Guard <RW_Mutex> and Write_Guard <RW_Mutex>, instead of using enums to choose between the type of lock to acquire (read/write)
Fixed spacing issues
Merge pull request #11 from SEDS/guard

Created separate classes for read and write guards
Updated Task class to use the new Read_Guard and Write_Guard classes
Merge pull request #12 from SEDS/guard

Updated Task class to use the new Read_Guard and Write_Guard classes
Fixed compilation errors with Pin 67254
Updated the Pin build numbers
Updated the Pin build numbers
Fixed merge conflicts
Merge branch 'build-67254'
Merge branch 'master' of github.com:SEDS/PinPP