Definition 1
Let $\mathcal F$ be a presheaf of sets(or abelian groups or rings, etc.) on a toplogical space $X$.
Let $Et(\mathcal F)$ be the disjoint union $\cup_{x \in X} \mathcal F_x$.
Let $U$ be an open subset of X.
Let $s \in \mathcal F(U)$.
We denote by $[U, s]$ the subset {$s_x; x \in U$} of $Et(\mathcal F)$.
Let Open$(X)$ be the set of open subsets of $X$.
We define a topology on $Et(\mathcal F)$ as the one generated by the subset {$[U, s]; U \in$ Open($X), s \in \mathcal F(U)$} of the power set of $Et(\mathcal F)$.
Let $\pi:Et(\mathcal F)\rightarrow X$ be the canonical map which sends a germ $s_x$ to $x$.
Let $\mathcal F^+(U)$ be the set {$f:U \rightarrow Et(\mathcal F)$; $f$ is a continuous map and $\pi f = id_U$}.
Clearly $\mathcal F^+(U)$ defines a sheaf $\mathcal F^+$ on $X$.
Lemma 2
Let $\mathcal F^+(U)$ be as above.
Then $\mathcal F^+(U)$ = {$f:U \rightarrow Et(\mathcal F)$; $f$ is a map such that for each $x \in U$ there exists an open neighborhood $U_x$ of $x$ contained in $U$ and $s \in \mathcal F(U_x)$ such that $f(y) = s_y$ for each $y \in U_x$}.
Proof:Clear.
Definition 3
Let $\mathcal F$ be a presheaf on a toplogical space $X$.
Let $U$ be an open subest of $X$.
Let $s \in \mathcal F(U)$
We define a map $\tilde{s}: U \rightarrow Et(F)$ by $\tilde{s}(x)$ = $s_x$ for each $x \in U$.
Clearly $\tilde{s} \in \mathcal{F^+(U)}$.
Definition 4
Let $\mathcal F$ be a presheaf on a toplogical space $X$.
Let $U$ be an open subest of $X$.
We define a map $\iota_U: \mathcal F(U) \rightarrow \mathcal F^+(U)$ by $\iota_U(s) = \tilde{s}$, where $\tilde{s}$ is defined in Definition 3.
Clearly $\iota_U$'s define a morphism $\iota:\mathcal F \rightarrow \mathcal F^+$.
We call $\iota$ the canonical morphism.
The folowing lemma is fundametal.
Lemma 5
Let $\mathcal F$ be a sheaf on a toplogical space $X$.
Then the canonical morphism $\iota:\mathcal F \rightarrow \mathcal F^+$ is an isomorphism.
Proof:
Let $U$ be an open subest of $X$.
It suffices to prove that $\iota_U: \mathcal F(U) \rightarrow \mathcal F^+(U)$ is an isomorphism.
Let $s$ and $t$ be $\in \mathcal F(U)$.
Suppose $\iota_U(s)$ = $\iota_U(t)$.
This means that $s_x$ = $t_x$ for each $x \in U$.
Hence there exists an open neghborhood $U_x$ of $x$ for exch $x \in U$ such that $s|U_x$ = $t|U_x$.
Since $\mathcal F$ is a sheaf, $s$ = $t$.
Hence $\iota$ is injective.
It remains to prove that $\iota$ is surjective.
Let $\sigma \in \mathcal F^+(U)$.
There exists an open cover $U_i$ of $U$ and $s_i \in \mathcal F(U_i)$ such that $\sigma(x) = s_i(x)$ for each $x \in U_i$.
Since $s_i|U_i \cap U_j = s_j|U_i \cap U_j$ by the above claim, there exists $s \in \mathcal F(U)$ such that $s|U_i$ = $s_i$ for each $i$.
Hence $\iota(s)$ = $\sigma$.
Hence $\iota$ is surjective.
QED
Lemma 6
Let $\mathcal F$ be a presheaf on a toplogical space $X$.
Then $\mathcal F^+_x$ = $\mathcal F_x$ for each $x \in X$.
Proof:Clear.
Lemma 7
Let $\mathcal F$ and $\mathcal G$ be presheaves on a toplogical space $X$.
Let $f:\mathcal F \rightarrow G$ be a morphism.
Let $U$ be an open subset of $X$.
Let $\sigma \in \mathcal F^+(U)$.
Then the map $f^+_U(\sigma):U \rightarrow G^+(U)$ which sends $x \in U$ to $f_x(\sigma(x))$ for each $x \in U$ belongs to $\mathcal G^+(U)$.
Proof:Clear.
Lemma 8
Let $\mathcal F$ and $\mathcal G$ be presheaves on a toplogical space $X$.
Let $f:\mathcal F \rightarrow G$ be a morphism.
Let $\iota_{\mathcal F}:\mathcal F \rightarrow \mathcal F^+$ and $\iota_{\mathcal G}:\mathcal G \rightarrow \mathcal G^+$ be the canonical morphisms.
Then there exists a unique morphism $f^+:\mathcal F^+ \rightarrow \mathcal G^+$ such that
$f^+\iota_{\mathcal F} = \iota_{\mathcal G} f$.
Proof:
There exists the canonical morphism $f_x:\mathcal F_x \rightarrow \mathcal G_x$ for each $x \in X$.
Let $U$ be an open subset of $X$.
We define a map $f^+_U:\mathcal F^+(U) \rightarrow \mathcal G^+(U)$ by sending $\sigma \in \mathcal F^+(U)$ to $f^+_U(\sigma) \in \mathcal G^+(U)$, where $f^+_U(\sigma)$ is defined in Lemma 7.
Clearly this gives a morphism of presheaves $f^+:\mathcal F^+ \rightarrow \mathcal G^+$ and $f^+\iota_{\mathcal F} = \iota_{\mathcal G} f$.
It remains to prove the uniqueness of $f^+$.
Let $\psi:\mathcal F^+ \rightarrow \mathcal G^+$ be a morphism such that
$\psi\iota_{\mathcal F} = \iota_{\mathcal G} f$.
Since $\mathcal F^+_x$ = $\mathcal F_x$ by Lemma 6, $\psi_x$ = $f^+_x$ for each $x \in X$. Since $\mathcal F^+$ and $\mathcal G^+$ are sheaves by Definition 1, $\psi$ = $f^+$.
QED
Proposition
Let $\mathcal F$ be a presheaf on a toplogical space $X$.
Let $\mathcal G$ be a sheaf on a toplogical space $X$.
Let $f:\mathcal F \rightarrow \mathcal G$ be a morphism.
Then there exists a unique morphism $\theta:\mathcal F^+ \rightarrow \mathcal G$ such that
$\theta\iota$ = $f$, where $\iota:\mathcal F \rightarrow \mathcal F^+$ is the canonical morphism.
Proof:
This follows immediately from Lemma 5 and Lemma 8.
No, $\mathcal F \to \mathcal F^+$ is not injective in general.
Consider the sheaf $\mathcal C$ of continuous functions on $\mathbb R$, its subpresheaf $\mathcal C_b\subset \mathcal C$ of bounded continuous functions and the quotient presheaf $\mathcal F$, characterized by $\mathcal F(U)= \mathcal C (U)/\mathcal C_b(U)$.
For every open subset $U\subset \mathbb R$, we have $\mathcal F(U)\neq 0$ but the associated sheaf is $\mathcal F^+=0$, so that
the morphism $\mathcal F \to \mathcal F^+=0$ is definitely not injective.
Injectivity of $\mathcal F \to \mathcal F^+$ is equivalent to requesting that whenever you have compatible gluing data $s_i\in \mathcal F(U_i)$ on an open covering $(U_i)$ of an open $U$ of your space, they can glue to at most one $s\in \mathcal F(U)$ : one half of the conditions for a presheaf to be a sheaf must be satisfied (the other half is to require that $s$ always exist)
Best Answer
Given a sheaf $\mathscr{G}$ and a morphism of presheaves $f:\mathscr{F}\to \mathscr{G}$, you can directly construct a morphism of presheaves (and therefore of sheavs) $\widetilde{f}:\widetilde{\mathscr{F}}\to \mathscr{G}$ that extends $f$. Given a section $s\in \widetilde{\mathscr{F}}(U)$, choose any open cover $\{U_i\}$ of $U$ such that the restrictions $s\mid_{U_i}$ lie in $\mathscr{F}$. Then you can apply $f$ to each of these restrictions, and glue their images to get $\widetilde{f}(s)\in \mathscr{G}(U)$. It is not hard to check that this is well-defined, i.e. independent of the open cover, and that in fact $\widetilde{f}$ is the unique extension of $f$. The latter shows that $\widetilde{\mathscr{F}}$ is a sheafification.
Regarding the functoriality you mention, since your definition requires choice of a sheaf $\mathscr{H}$, I am not sure how to make sense of this (of course you know after the fact that sheafification is functorial by the universal property).