Take $X = \{0,1\}^{[0,1]}$, thought of as the set of all functions from the unit interval $[0,1]$ to the two-point set $\{0,1\}$. Equip $X$ with the product topology; $X$ is compact by Tychonoff's theorem. In the product topology, a sequence $f_n$ converges iff it converges pointwise, i.e. if the $\{0,1\}$-valued sequence $f_n(x)$ converges (i.e. is eventually constant) for every $x \in [0,1]$.
Define $f_n : [0,1] \to \{0,1\}$ to be the function such that $f_n(x)$ is the $n$th bit in the binary expansion of $x$. (If $x$ has more than one binary expansion, take $f_n(x) = 0$ for all $n$; it doesn't really matter here.) Then given any subsequence $f_{n_m}$, you should be able to produce an $x \in [0,1]$ such that $f_{n_m}(x)$ does not converge. Hence $\{f_n\}$ has no convergent subsequence.
Let $\mathscr{U}$ be an ultrafilter on $\Bbb N$. For $x=\langle x_n:n\in\Bbb N\rangle\in X$ let $f_{\mathscr{U}}(x)=\mathscr{U}\text{-}\lim x$, where $\mathscr{U}\text{-}\lim x$ is the unique real number $y$ such that $\{n\in\Bbb N:x_n\in U\}\in\mathscr{U}$ for each open nbhd $U$ of $y$. (For basic information about limits along ultrafilters see this answer.) Then $f_{\mathscr{U}}\in X^*$, and indeed your $\delta_n$ is $f_{\mathscr{U}}$ for the principal ultrafilter over $n$.
Now let $\mathscr{U}$ be a free ultrafilter on $\Bbb N$. Let $D=\{\langle U,n\rangle\in\mathscr{U}\times\Bbb N:n\in U\}$, and define a pre-order $\preceq$ on $D$ by setting $\langle U,m\rangle\preceq\langle V,n\rangle$ iff $U\supseteq V$; this makes $\langle D,\preceq\rangle$ a directed set. Let $\nu$ be the net $\nu:D\to X^*:\langle U,n\rangle\mapsto\delta_n$; for $x=\langle x_n:n\in\Bbb N\rangle\in X$ we have
$$\lim_{\langle U,n\rangle\in D}\nu(\langle U,n\rangle)(x)=\lim_{\langle U,n\rangle\in D}\delta_n(x)=\lim_{\langle U,n\rangle\in D}x_n\;.$$
Now $y=\lim_{\langle U,n\rangle\in D}x_n$ iff for each open nbhd $G$ of $y$ there is a $\langle U_G,m_G\rangle\in D$ such that $x_n\in G$ whenever $\langle V,n\rangle\in D$ with $\langle U_G,m_G\rangle\preceq\langle V,n\rangle$, i.e., whenever $V\in\mathscr{U}$ and $n\in V\subseteq U_G$. In short, for each open nbhd $G$ of $y$ there is a $U_G\in\mathscr{U}$ such that $x_n\in G$ for all $n\in U_G$. Let $G$ be an open nbhd of $y$, and let $A=\{n\in\Bbb N:x_n\notin G\}$; clearly $A\cap U_G=\varnothing$, and $\mathscr{U}$ is an ultrafilter, so $\{n\in\Bbb N:x_n\in G\}=\Bbb N\setminus A\in\mathscr{U}$. In other words, $y=\lim_{\langle U,n\rangle\in D}x_n$ iff $y=f_{\mathscr{U}}(x)$, and the net $\nu$ converges to $f_{\mathscr{U}}\in X^*$.
It only remains to check that $\nu$ is a subnet of the sequence $\langle\delta_n:n\in\Bbb N\rangle$. There are three different definitions of subnet in use; see this question and answer for details. In the terminology used there, $\nu$ is a Kelley subnet (and hence also an AA-subnet) of $\langle\delta_n:n\in\Bbb N\rangle$. To see this, let
$$\varphi:D\to\Bbb N:\langle U,n\rangle\mapsto n\;.$$
Let $m\in\Bbb N$ be arbitrary, and let $T_m=\{n\in\Bbb N:n\ge m\}$. $\mathscr{U}$ is a free ultrafilter, so $T_m\in\mathscr{U}$, and it’s clear that $\varphi(\langle U,n\rangle)=n\ge m$ whenever $\langle T_m,m\rangle\preceq\langle U,n\rangle\in D$, i.e.,
$$\varphi[\{\langle U,n\rangle\in D:\langle T_m,m\rangle\preceq\langle U,n\rangle\}]\subseteq T_m\;.$$
Best Answer
Much to my surprise, there is an explicit example, and it comes about at least in part because it seems that the theorem going back and forth between cluster points and convergent subnets does not require the axiom of choice, when done the right way. In the first part of my answer, I describe the example, being as explicit with the subnet as I possibly can to show there's no AC up my sleeve. In the second part I comment on why choice is necessary for Henno Brandsma's example.
To get a sequence with a convergent subnet but no convergent subsequence in just ZF, we only really need to work out the details of Exercise E from Chapter 2 of Kelley's General Topology. Accordingly I will be following Kelley's definitions of subnet and so on throughout.
Just for clarity, we will be taking $\newcommand{\N}{\mathbb{N}}\N$ to include $0$ in the following. We define a topology on $\N \times \N$ where $\{(n,m)\}$ is open if $(n,m) \neq (0,0)$ and $U \subseteq \N \times \N$ is an (open) neighbourhood of $(0,0)$ iff it contains $(0,0)$ and for all but finitely many $m \in \N$, the set $\{ n \in \N \mid (m,n) \not\in U \}$ is finite. Or, if you prefer, the open sets are
The first thing we need is:
Assume for a contradiction that there is such a sequence $(m_i,n_i)_{i \in \N}$ converging to $(0,0)$. Given $k \in \N$, define $V_k = \{ (m,n) \in \N^2 \mid m \neq k \} \cup \{ (0,0) \}$. This is a neighbourhood of $0$ (using the "all but finitely many $m$ part"), so for each $k \in \N$ there is an $N_k$ such that for all $i \geq N_k$, $(m_{i},n_{i}) \in V_k$, i.e. $m_i \neq k$. It follows that there are only finitely many $i \in \N$ such that $m_i = k$.
Now consider $U = \N^2 \setminus \{(m_i,n_i)\}_{i \in \N}$. It contains $(0,0)$, and for each $m \in \N$, $$ \{ n \in \N \mid (m,n) \not\in U \} = \{ n \in \N \mid (m,n) \in \{(m_i,n_i)\}_{i \in \N} \}, $$ and this set is finite because $m_i = m$ only happens if $i < N_m$. Therefore $U$ is a neighbourhood of $(0,0)$ (using the other part of the definition). But this contradicts $(m_i,n_i)_{i \in \N}$ converging to $(0,0)$, so there is no such sequence. $\square$
Now, we define a sequence $(x_i)_{i \in \N}$ to be any enumeration of $\N^2 \setminus \{ (0,0) \}$. There are many ways to do it, and it does not particularly matter how, so I won't give one explicitly as I don't want to get caught out in a silly mistake. By Lemma 1, no subsequence of it converges to $(0,0)$. We define a subnet as follows. Take $\mathcal{N}$ to be the set of neighbourhoods of $(0,0)$, ordered by $\supseteq$. This is a directed poset. We define $$ J = \{ (i,U) \in \N \times \mathcal{N} \mid x_i \in U \}, $$ with the ordering being as a subposet of $\N \times \mathcal{N}$. We take $f : J \rightarrow \N$ to be the projection mapping $\pi_1$, and for each $(i,U) \in \N \times \mathcal{N}$ we define $y_{i,U} = x_i$.
We first need to show that $J$ is directed as a poset. If $(i_1,U_1), (i_2,U_2) \in J$, then $U_1 \cap U_2$ is a neighbourhood of $(0,0)$, so is infinite, so there must exist $j \geq i_1,i_2$ such that $x_j \in U_1 \cap U_2$. Then $(j,U_1 \cap U_2)$ is the upper bound we need.
To show that $(y_{(j,U)})_{(j,U) \in J}$ is a subnet, we only need to show that for each $i \in \N$ there exists $(j,U) \in J$ such that for all $(j',U') \geq (j,U)$ $f(j',U') \geq i$. To do this, we define $(j,U) = (i,\N^2)$. For all $(j',U') \geq (i,\N^2)$ we have $f(j',U') = j' \geq i$, as required.
The last remaining part is to show that this subnet converges to $(0,0)$. If $U \subseteq \N^2$ is a neighbourhood of $0$, then it contains some $(m,n) \neq (0,0)$, and by the definition of $(x_i)_{i \in \N}$ there exists some $i \in \N$ such that $x_i = (m,n) \in U$. Now, for all $(j,V) \geq (i,U)$, $y_{(j,V)} = x_j \in V \subseteq U$, so $y_{(j,V)} \in U$. $\square$
Henno Brandsma's example uses the Boolean ultrafilter lemma in the form of Tychonoff's theorem for Hausdorff spaces. There's a related example that shows that $\N$, embedded in $\beta(\N)$ has no convergent subsequence (because convergent sequences in Stonean spaces are eventually constant). Both of these examples actually require the existence of non-principal ultrafilters on $\N$, which I will show as follows.
Suppose $((y_i)_{i \in I}, f: I \rightarrow \N)$ is a convergent subnet of $(\pi_n)_{n \in \N}$ converging to $y \in 2^{2^{\N}}$. Each $\pi_n$ is actually a Boolean homomorphism $2^\N \rightarrow 2$, and since convergence in the product topology is pointwise, this implies that $y : 2^\N \rightarrow 2$ is a Boolean homomorphism.
Therefore $y^{-1}(1)$ is an ultrafilter on $\N$. In fact it is non-principal. This can be shown by the following argument. Define $\delta_n : \N \rightarrow 2$ to be the indicator function of $\{n\} \subseteq \N$, and $N_{\delta_n,1}$ to be the subbasic clopen $$ N_{\delta_n,1} = \{ f : 2^\N \rightarrow 2 \mid f(\delta_n) = 1 \}. $$ If $y(\delta_n) = 1$, then $y \in N_{\delta_n,1}$ so by the definition of convergence, there exists $i_1 \in I$ such that for all $i' \geq i_1$, $y_{i'} \in N_{\delta_n,1}$. We also have, from the definition of subnet, that there exists $i_2 \in I$ such that for all $i' \geq i_2$, $f(i') \geq n+1$. By directedness of $I$, there exists $i_3 \geq i_1,i_2$. For all $i' \geq i_3$, we have $y_{i'}(\delta_{n}) = 1$, but also $y_{i'} = \pi_{f({i'})}$ with $f(i') \geq n+1$ and so $y_{i'}(\delta_{n}) = 0$, a contradiction. Therefore $y(\delta_n) \neq 1$ for all $n \in \N$ and so $y^{-1}(1)$ is a non-principal ultrafilter.
Now, there are various models of ZF in which dependent choice holds but there are no non-principal ultrafilters on $\N$. Solovay's model in which all sets are Lebesgue measurable is a famous one, but there are many others such as the Solovay-Pincus model in which the Hahn-Banach theorem holds, but there are no non-principal ultrafilters on any set whatsoever. In these models, therefore, $(\pi_n)_{n \in \N}$ has no convergent subnets. Similarly, the set of principal ultrafilters in $\beta(\N)$ has no convergent subnets because it is closed, being all of $\beta(\N)$.
As a coda, I'll say that I have not addressed the question of whether "every compact space is sequentially compact" is consistent with ZF or ZF + DC. All we've seen is that the standard counterexamples don't work, but that we cannot go as far as "every sequence with a convergent subnet has a convergent subsequence". This seems to be a hard question, more suitable for MathOverflow. I couldn't find anything about it in standard references such as Howard and Rubin's Consequences of the Axiom of Choice.
Added in edit: Apparently Andrew Stacey asked it on MathOverflow donkey's years ago, getting two bad answers, and an interesting answer by K.P. Hart explaining a mistake in one of the answers. However, no answer to the original question was forthcoming.