GitLab

* Add programmer field to rpc.SketchProfile

* Add programmer to the sketch profile

* Retrieve programmer's information from the profile if the flag is not used

* Add profile flag to debug command

* Add default_programmer field to sketch project

* Add default_programmer to rpc.Sketch

* Add methods to set and retrieve default_programmer from a sketch

* Modify SetSketchDefaults function to set a programmer if specified

* Modify board attach command to set a default programmer

* Use default programmer if no other value is specified

* Update docs

* Update TestBoardAttach to test that a programmer is correctly written to sketch.yaml

* Add TestDebugProfile to integration tests