[man] update URL of Frama-C BTS, bump © year and move to CC-BY-SA licence

man/frama-c.1.header

 .\"------------------------------------------------------------------------
 .\"                                                                        
-.\"  This file is part of Frama-C.                                         
+.\"  This file is part of Frama-C documentation                            
 .\"                                                                        
-.\"  Copyright (C) 2007-2020                                               
+.\"  Copyright (C) 2007-2021                                               
 .\"    CEA (Commissariat à l'énergie atomique et aux énergies              
 .\"         alternatives)                                                  
 .\"                                                                        
-.\"  you can redistribute it and/or modify it under the terms of the GNU   
-.\"  Lesser General Public License as published by the Free Software       
-.\"  Foundation, version 2.1.                                              
-.\"                                                                        
-.\"  It is distributed in the hope that it will be useful,                 
-.\"  but WITHOUT ANY WARRANTY; without even the implied warranty of        
-.\"  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         
-.\"  GNU Lesser General Public License for more details.                   
-.\"                                                                        
-.\"  See the GNU Lesser General Public License version 2.1                 
-.\"  for more details (enclosed in the file licenses/LGPLv2.1).            
-.\"                                                                        
-.\"------------------------------------------------------------------------
+.\"  you can redistribute it and/or modify it under the terms of the
+.\"  CC-BY-SA 4.0 license
 
 .\" DO NOT EDIT THIS FILE!
 .\" This man file has been generated from a Markdown file (frama-c.1.md)
 .\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
 .\" and run `make man/frama-c.1`.
 
-.TH FRAMA-C 1 2020-10-07
+.TH FRAMA-C 1 2021-10-07

man/frama-c.1.md

@@ -547,8 +547,8 @@ is installed.
 
 # SEE ALSO
 
-Frama-C user manual: http://frama-c.com/download/frama-c-user-manual.pdf
+Frama-C user manual: https://frama-c.com/download/frama-c-user-manual.pdf
 
-Frama-C homepage: http://frama-c.com
+Frama-C homepage: https://frama-c.com
 
-Frama-C BTS: http://bts.frama-c.com
+Frama-C BTS: https://git.frama-c.com/pub/frama-c/issues