Change author information

otrv4.m

@@ -1,10 +1,10 @@
 --------------------------------------------------------------------------------
 --
---  Murphi Model of the OTRv4 Draft Protocol State Machine
+--  Murphi Model of the OTRv4 Draft Protocol State Machine and SMP State Machine
 --
 --------------------------------------------------------------------------------
 --
---  Written by Nik Unger in 2018
+--  Written by Nik Unger and Sofía Celi in 2018
 --
 --  This is free and unencumbered software released into the public domain.
 --  See the UNLICENSE file for the full license / public domain declaration.