Patches

• Review of Samuli's ​buildsystem patches
  • 01/13: no ACK/NACK yet
  • 02/13: no ACK/NACK yet
  • 03/13: no ACK/NACK yet
  • 04/13: no ACK/NACK yet
  • 05/13: no ACK/NACK yet
  • 06/13: no ACK/NACK yet
  • 07/13: no ACK/NACK yet
  • 08/13: no ACK/NACK yet
  • 09/13: no ACK/NACK yet
  • 10/13: no ACK/NACK yet
  • 11/13: no ACK/NACK yet
  • 12/13: no ACK/NACK yet
  • 13/13: no ACK/NACK yet