For designing primers over intron/exon junctions, I have cheated primer3 by indicating the splice junction (-10/+10) as a hybridisation oligo and relaxing the corresponding parameters (since the splice junction is not necessarly a good hybridisation oligo). The primers have not yet been tested in real life, but their design seems OK.